Перевод: с русского на все языки

со всех языков на русский

Leading correspondence

См. также в других словарях:

  • Correspondence principle — This article discusses quantum theory and relativity. For other uses, see Correspondence principle (disambiguation). In physics, the correspondence principle states that the behavior of systems described by the theory of quantum mechanics (or by… …   Wikipedia

  • Correspondence law school — Main article: Law school A correspondence law school is a school that offers legal education by distance education, either by correspondence or online by use of the internet, or a combination thereof. Contents 1 Germany 2 South Africa 3 United… …   Wikipedia

  • The Committee of Correspondence Newsletter — later known as The Correspondent , was a publication of the Committee of Correspondence from 1961 through 1965.HistoryIn late 1959, toward the end of the Eisenhower Republican administration, some American intellectuals, mostly academics or soci …   Wikipedia

  • Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… …   Wikipedia

  • Curry-Howard correspondence — The Curry Howard correspondence is the direct relationship between computer programs and mathematical proofs. Also known as Curry Howard isomorphism, proofs as programs correspondence and formulae as types correspondence, it refers to the… …   Wikipedia

  • International Correspondence Chess Federation — (ICCF) was founded in 1951 as a new appearance of the ICCA (International Correspondence Chess Association), which was founded in 1945, as successor of the IFSB (Internationaler Fernschachbund), founded in 1928. Correspondence chessCorrespondence …   Wikipedia

  • 1995 in chess — Events in chess in 1995;Top playersFIDE top 10 by Elo rating January 1995#Garry Kasparov RUS 2805 #Anatoly Karpov RUS 2765 #Valery Salov RUS 2715 #Viswanathan Anand IND 2715 #Vladimir Kramnik RUS 2715 #Alexei Shirov ESP 2710 #Gata Kamsky USA 2710 …   Wikipedia

  • Mario Napolitano — (10 February 1910, Acquaviva delle Fonti – 31 October 1995, Florence) was an Italian chess master. At the beginning of his career, Napolitano took 5th place in Venice in 1928. Then, he won at Milan 1934. He had played many times in the Italian… …   Wikipedia

  • Kydones, Demetrios —    Leading statesman and intellectual of the 14th century, and one of the greater writers and theologians of the entire Palaiologan (q.v.) period. He was the chief minister (mesazon [q.v.]) of John VI Kantakouzenos (q.v.) until the emperor s… …   Historical dictionary of Byzantium

  • literature — /lit euhr euh cheuhr, choor , li treuh /, n. 1. writings in which expression and form, in connection with ideas of permanent and universal interest, are characteristic or essential features, as poetry, novels, history, biography, and essays. 2.… …   Universalium

  • On the Origin of Species — Origin of Species redirects here. For other uses, see Origin of Species (disambiguation). On the Origin of Species   …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»